A mapping φ from a group G into another group H that is operation preserving, i.e., for which φ(ab) = φ(a)φ(b) for all a, b in G.